Comparing natural numbers